Nuprl Definition : map-eval
11,40
postcript
pdf
map-eval(
x
.
f
(
x
);
L
)
== rec-case(
L
) of [] => [] |
a
::
b
=>
r
.callbyvalue(
f
(
a
);
a
.callbyvalue(
r
;
b
.[
a
/
b
]))
latex
Definitions
[
car
/
cdr
]
,
callbyvalue(
a
;
x
.
B
(
x
))
,
[]
,
rec-case(
a
) of [] =>
s
|
x
::
y
=>
z
.
t
(
x
;
y
;
z
)
FDL editor aliases
map-eval
origin